logic programming

Inductive logic programming was defined as the intersection of machine learning and logic programming.

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域.

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介绍自动推理和逻辑编程.

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

Design electrical lighting and motion control systems, including control logic programming and harness layout.

设计电气照明和控制系统, 包括控制逻辑程序和动力设计.

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。